Component-Oriented Development of Action Systems
نویسنده
چکیده
We present an approach to compositional refinement of action systems and their interfaces. Our approach is intended to provide a support for the component-oriented development of action systems. We introduce a notion of context-sensitive simulation that is related to the rely-guarantee methods for program verification. We consider conditions under which context-sensitive simulation preserves component matching and present the corresponding theorems. A small example is used to illustrate our approach.
منابع مشابه
What Can Policy-Makers Get Out of Systems Thinking? Policy Partners’ Experiences of a Systems-Focused Research Collaboration in Preventive Health
Background There is increasing interest in using systems thinking to tackle ‘wicked’ policy problems in preventive health, but this can be challenging for policy-makers because the literature is amorphous and often highly theoretical. Little is known about how best to support health policy-makers to gain skills in understanding and applying systems thinking for policy action. <br /...
متن کاملThree Component Syntheses of Pyrrolo Imidazole Derivatives in the Presence of N-methyl imidazole, Activated Acetylenes and Phenylsulfonylacetophenone
Because of the significant role in biological processes in living cells and the diverse types of physiological activities, heterocyclic compounds are in focus of intense investigations by academic, industry and applied-oriented chemists. Considerably, ascientific renaissance of heterocycles during the last decades is closely related to the development of multicomponent approaches to their s...
متن کاملEFL Teacher Educators and EFL teachers’ Perspectives on Identity-Oriented Teacher Education Programs
Different aspects of identity have been investigated across various educational fields. Although many studies have been done to investigate different aspects of EFL teachers’ identity development, there is a paucity of research on identity-oriented EFL teacher education programs. Hence, the purpose of the current study was to investigate EFL teacher educators’ and EFL teachers’ perspectives abo...
متن کاملEffect of Cold Rolling sequence on the Texture Development and Magnetic Loss of Grain Oriented Electrical Steels
Electrical steels are important alloys widely used in electrical instruments. The magnetic properties and low core loss of grain oriented silicon steels are closely related to the sharpness of Goss texture ({110} ).The direction of is the softest direction for magnetism. In this work, the microstructure and dependence of orientation density along the major texture fibers on the applied cold ro...
متن کاملEffect of Cold Rolling sequence on the Texture Development and Magnetic Loss of Grain Oriented Electrical Steels
Electrical steels are important alloys widely used in electrical instruments. The magnetic properties and low core loss of grain oriented silicon steels are closely related to the sharpness of Goss texture ({110} ).The direction of is the softest direction for magnetism. In this work, the microstructure and dependence of orientation density along the major texture fibers on the applied cold ro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003